forall a. f a -> g a